
void core(int);
